paned: Use content allocation instead of widget allocation
authorBenjamin Otte <otte@redhat.com>
Sun, 14 Feb 2016 15:07:06 +0000 (16:07 +0100)
committerBenjamin Otte <otte@redhat.com>
Sun, 14 Feb 2016 15:07:06 +0000 (16:07 +0100)
commit88f0885638674295bb73171e0c852fc78662106a
tree9d594f816ec0dd8b0b3afed1485660a0ac14a672
parent7e47418d0cf93acc73a6ad2d274aa0ac45470d8c
paned: Use content allocation instead of widget allocation

We don't want to include padding and borders in our calculations
involving the handle.
gtk/gtkpaned.c